Research on Real-Time Embedded Software Scheduling Model Based on EDF
نویسندگان
چکیده
منابع مشابه
mortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولModel-Based Embedded Real-Time Software Development
Embedded real-time systems are tightly coupled with the physical world. This tight coupling imposes parafunctional requirements (such as timeliness, jitter, faulttolerance, and security) that go beyond functional (logical) behaviors. Unfortunately, modern programming approaches do not facilitate the independent encoding of functional and para-functional behaviors. In this paper, we argue that (...
متن کاملScheduling Real-Time Embedded Systems Based on TCPNIA
TCPNIA (Timed Colored Petri Nets with Inhibitor Arcs, TCPNIA) is a model for specifying real-time embedded systems. It integrates features of colored Petri nets, timed Petri nets and inhibitor arcs. The methods for modeling modules of systems using TCPNIA are proposed. A depth-first scheduling algorithm for TCPNIA is proposed. The system level resource’s influence to schedulable path is conside...
متن کاملPartitioning Embedded Real-Time Control Software based on Communication Dependencies
Electronic Control Units (ECUs), such as for automotive engine control, execute highly interdependent software units. These software units and their interaction are optimized for single-cores and need to be parallelized for upcoming multi-core processors. In this paper we investigate how to leverage the parallelism of the physical environment for the parallelization of legacy control software. ...
متن کاملModel-Checking of Component-Based Real-Time Embedded Software Based on CORBA Event Service
As the complexity of real-time embedded software grows, it is desirable to apply formal verification techniques to achieve a high level of assurance. We discuss application of model-checking to verification of component-based real-time embedded software based on CORBA Event Service, with the Avionics Mission Computing software as an application example. We first use the the process algebra FSP ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.2969229